#ifndef __LIB_USER_STDIO_H
#define __LIB_USER_STDIO_H

int hprintf(int, const char *, ...) PRINTF_FORMAT(
    2,
    3);
int vhprintf(int, const char *, va_list) PRINTF_FORMAT(
    2,
    0);

#endif /* lib/user/stdio.h */
